@InProceedings{wazhli00a,
  author = 	 "K. Wang and L. Zhou and F. Lin",
  title = 	 "Alternating fixpoint theory for logic programs with priority",
  booktitle = 	 "Proceedings of the First International Conference on Computational Logic",
  OPTcrossref =  "",
  OPTkey = 	 "",
  pages =	 "164-178",
  year =	 "2000",
  OPTeditor = 	 "",
  volume =	 "1861",
  OPTnumber = 	 "",
  series =	 lncs,
  OPTaddress = 	 "",
  OPTmonth = 	 "",
  OPTorganization = "",
  publisher =	 springer,
  OPTnote = 	 "",
  OPTannote = 	 ""
}