Towards A Logic Language: An Object-Oriented Implementation Of The Connection Method. - Giorgio Forcellese; Marco Temperini (DISCO, 1990)