A general purpose reasoner for abstraction (1993)

by F Giunchiglia, R Sebastiani, T Walsh
Venue:University of Genova, Italy