A system for multi-level reasoning (1992)

by Fausto Giunchiglia, Paolo Traverso, Alessandro Cimatti, Paolo Pecchiari
Venue:In IMSA'92, pages 190--195. Information-Technology Promotion Agency