Program Tactics and Logic Tactics (0)

by F Giunchiglia, P Traverso
Venue:In Proceedings 5th Intnl. Conference on Logic Programming and Automated Reasoning (LPAR'94