Formal verification of logic programs: foundations and implementation (1234)

by Robert F Stärk
Venue:In LFCS’97: 4th International Symposium on Logical Foundations of Computer Science