On Consistency and Completeness of Property-Sets.

Martin Schickel, Volker Nimbler, Martin Braun, Hans Eveking

Browse the full FDL paper archive.