Triple Dots in a Formal Language
Reasoning about Solids Using Constraint Logic Programming
A Model-Theoretic Approach for Recovering Consistent Data from Inconsistent Knowledge Bases*
Computer Proofs in Gödel's Class Theory with Equational Definitions for Composite and Cross
On Computer-Assisted Proofs in Ordinal Number Theory