@inproceedings{ILPC-1982-MarkuszK82,
	author        = "Zsuzsanna Markusz and A. A. Kaposi",
	booktitle     = "{Proceedings of the First International Logic Programming Conference}",
	pages         = "139--145",
	publisher     = "{ADDP-GIA}",
	title         = "{A Design Methodology in Prolog Programming}",
	year          = 1982,
}