Wlodzimierz Drabent, Jan Maluszynski
Inductive Assertion Method for Logic Programs
TAPSOFT, 1987.
@inproceedings{CFLP-1987-DrabentM, author = "Wlodzimierz Drabent and Jan Maluszynski", booktitle = "{Proceedings of the Second International Joint Conference on Theory and Practice of Software Development, Volume 2: Colloquium on Functional and Logic Programming and Specifications}", doi = "10.1007/BFb0014980", isbn = "3-540-17611-X", pages = "167--181", publisher = "{Springer}", title = "{Inductive Assertion Method for Logic Programs}", year = 1987, }