On Perfect Introspection with Quantifying-in (1992)

by G Lakemeyer
Venue:Fundamenta Informaticae