@inproceedings{ALP-PLILP-1998-CuiDDKRRRSW,
	author        = "Baoqiu Cui and Yifei Dong and Xiaoqun Du and K. Narayan Kumar and C. R. Ramakrishnan and I. V. Ramakrishnan and Abhik Roychoudhury and Scott A. Smolka and David Scott Warren",
	booktitle     = "{Proceedings of the 10th International Symposium on Principles of Declarative Programming, Held Jointly with the Seventh International Conference on Algebraic and Logic Programming}",
	doi           = "10.1007/BFb0056604",
	isbn          = "3-540-65012-1",
	pages         = "1--20",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Logic Programming and Model Checking}",
	volume        = 1490,
	year          = 1998,
}