An Extended Herbrand Theorem for First-Order Theories with Equality Interpreted in Partial Algebras.

Uwe Petermann

Browse the full MFCS paper archive.