@article{AMLG_1982__22_137998, author = {J\"urgen-Michael Glubrecht}, title = {Ein {Vollst\"andigkeitsbeweis} f\"ur schnittfreie {Kalk\"ule} mit der {Maximalisierungsmethode} von {Henkin.}}, journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung}, pages = {159--166}, publisher = {mathdoc}, volume = {22}, year = {1982}, zbl = {0496.03002}, url = {http://geodesic.mathdoc.fr/item/AMLG_1982__22_137998/} }