Prefix classes of krom formulae with identity

Archiv für Mathematische Logik und Grundlagenforschung ◽

10.1007/bf02318025 ◽

1980 ◽

Vol 22 (1-2) ◽

pp. 43-49 ◽

Cited By ~ 2

Author(s):

Stal O. Aanderaa ◽

Egon Börger ◽

Yuri Gurevich