Literal projection and circumscription (2010)

by C Wernhard
Venue:In FTP’09, volume 556 of CEUR Workshop Proceedings