@inproceedings{Weidenbach-Ohlbach_ECAI90,
TITLE = {A Resolution Calculus with Dynamic Sort Structures and Partial Functions},
AUTHOR = {Weidenbach, Christoph and Ohlbach, Hans J{\"u}rgen},
LANGUAGE = {eng},
DOI = {10.5555/3070070.3070201},
PUBLISHER = {Pitman Publishing, Inc.},
YEAR = {1990},
DATE = {1990},
BOOKTITLE = {Proceedings of the 9th European Conference on Artificial Intelligence (ECAI 1990)},
EDITOR = {Carlucci Aiello, Luigia},
PAGES = {688--693},
ADDRESS = {Stockholm Sweden},
}