Vol-1973⫷ Vol-1974 ⫸Vol-1975
urn:nbn:de:0074-1974-0


Vol-1974/EAa⫷Vol-1974/EAb⫸Vol-1974/EAc
Jasper NalbachGereon KremerErika Ábrahám

Embedding the Virtual Substitution Method in the Model Constructing Satisfiability Calculus Framework