On perfect introspection with Quantifying-in

Gerhard Lakemeyer. On perfect introspection with Quantifying-in. Fundamenta Informaticae, 17(1-2):75-98, 1992.

Abstract

Abstract is missing.