@STRING{NGC     = "New Generation Computing"}
@string{FI	= "Fundamenta Informaticae"}
@string{IPL     = "Information Processing Letters"}
@string{JLP     = "J.~of Logic Programming"}
@string{NACLP89 = "Proc.\ North American Conference on Logic
		     Programming, {\rm Cleveland}"}

@Article{drabent.fh.97,
  author = 	 {Drabent, W.},
  title = 	 {A Floyd-Hoare Method for Prolog},
  journal = 	 {Link\"oping Electronic Articles in Computer and Information
		  Science},
  year = 	 {1997},
  OPTkey = 	 {},
  volume =	 {2},
  number =	 {13},
  OPTmonth = 	 {},
  OPTpages = 	 {},
  note =	 {http://www.ep.liu.se/ea/cis/1997/013/},
  OPTannote = 	 {}
}


@InProceedings{adp.wd.inst,
  author = 	"A. Di Pierro and W. Drabent",
  title = 	"On Negation as Instantiation",
  booktitle = 	"Algebraic and Logic Programming, 5th International
		 Conference, Proceedings",
  year = 	"1996",
  editor = 	"M. Hanus and M. Rodriguez-Artalejo",
  pages = 	"32-46",
  publisher = 	"Springer-Verlag",
  note = 	"Lecture Notes in Computer Science, Vol.\ 1139"
  OPTnote = 	"LNCS 1139"
}

@Article{drabent.compl,
  author = 	"Drabent, W.",
  title = 	"Completeness of
		 {SLDNF}-Resolution for Nonfloundering Queries",
  journal = 	JLP,
  year = 	"1996",
  volume =	 "27",
  number =	 "2",
  pages =	 "89-106",
  month =	 may,
  OPTnote = 	"To appear"
}

@Article{drabent95,
  author = 	"Drabent, W.",
  title = 	"What is Failure? {A}n Approach to Constructive Negation",
  journal = 	"Acta Informatica",
  year = 	"1995",
  volume = 	"32",
  number = 	"1",
  pages = 	"27-59",
  month = 	feb,
  OPTnote = 	""
}


@InProceedings{drabent.lpnmr,
  author = 	"Drabent, W.",
  title = 	"{SLS}-resolution without Floundering",
  booktitle = 	"Proc.\ 2nd International Workshop on Logic Programming
		 and Non-Monotonic Reasoning",
  year = 	"1993",
  editor =  	"Pereira, L. M. and Nerode, A.",
  pages = 	"82--98",
  publisher =	"MIT Press",
  month = 	jun,
  OPTnote = 	""
}

@incollection{KDM93,
   author = "K. Kuchcinski and W. Drabent and J. Ma{\l}uszynski",
   booktitle = "AADEBUG'93, Proc. of the 1st Int. Workshop  on Automated
                    and Algorithmic Debugging", 
   editor = "Peter Fritzson",
   note = "LNCS 749",
   pages = "350--367",
   publisher = "Springer-Verlag",
   title = "{Automatic Diagnosis of VLSI Circuits Using Algorithmic
                    Debugging}", 
   year = "1993"
}

@ARTICLE{drabent.martelli,
          AUTHOR = "Drabent, W. and Martelli, M.",
           TITLE = "Strict Completion of Logic Programs",
         JOURNAL = NGC,
            YEAR = "1991",
          VOLUME = "9",
       optNUMBER = "",
           PAGES = "69--79",
           MONTH = "June",
         optNOTE = ""
}

@inproceedings{DNM88,
   author = "W. Drabent and S. Nadjm-Tehrani and  J.
                    Ma{\l}uszy\'{n}ski", 
   booktitle = "Proc. of Fifth Generation Computer Systems 88",
   pages = "573--581",
   title = "{The Use of Assertions in Algorithmic Debugging}",
   year = "1988"
}

@inproceedings{DNM89,
   author = "W. Drabent and S.  Nadjm-Tehrani and J. Maluszynski",
   booktitle = " Meta-programming in Logic Programming",
   editor = "H. Abramson and M.H.Rogers",
   organization = "MIT Press",
   pages = "501--522",
   title = "{Algorithmic Debugging with Assertions}",
   year = "1989"
}

@article{DM88,
   author = "W. Drabent and J. Ma{\l}uszy\'{n}ski",
   journal = "Theoretical Computer Science",
   pages = "133--155",
   title = "{Inductive Assertion Method for Logic Programs}",
   volume = "59",
   year = "1988"
}
@article{DrM88,
          AUTHOR = "Drabent, W. and {Ma\l uszy\'{n}ski}, J.",
           TITLE = "Inductive Assertion Method for Logic
          	     Programs",
         JOURNAL = "Theoretical Computer Science",
            YEAR = "1988",
          VOLUME = "59",
       optNUMBER = "",
           PAGES = "133--155",
           MONTH = "June",
            ?NOTE = "Selected papers from TAPSOFT~'87 conference",
   note = "Special issue with selected papers from {TAPSOFT}'87, Pisa"
}

@unpublished{drabent.as.compl,
author	= "Drabent, W.",
title	= "On Completeness of the Inductive Assertion Method for Logic
	   Programs",
year	= "1988",
month	= may,
note	= "Unpublished note, Institute of Computer Science, Polish
		  Academy of Sciences",
?note	= "IPI PAN"
}

@InProceedings{Dra87,
  author = 	"Drabent, W.",
  title = 	"Do Logic Programs Resemble Programs in Conventional
          	Languages?",
  booktitle = 	"Proceedings of 1987 Symposium on Logic Programming",
  year = 	"1987",
  OPTeditor = 	"",
  pages = 	"389-396",
  publisher = 	"IEEE Press",
  OPTnote = 	""
}