Grigoris Antoniou, Hans Jürgen Ohlbach. TERMINATOR. In IJCAI. pages 916-919, 1983.
@inproceedings{AntoniouO83,
title = {TERMINATOR},
author = {Grigoris Antoniou and Hans Jürgen Ohlbach},
year = {1983},
researchr = {https://researchr.org/publication/AntoniouO83},
cites = {0},
citedby = {0},
pages = {916-919},
booktitle = {IJCAI},
}