Model Representation over Finite and Infinite Signatures

Christian G. Fermüller, Reinhard Pichler. Model Representation over Finite and Infinite Signatures. Journal of Logic and Computation, 17(3):453-477, 2007. [doi]

Abstract

Abstract is missing.