A theory of abstraction", Artificial Intelligence 57 nos. 2--3 (1992)

by Fausto Giunchiglia, Toby Walsh