Extending Logic Programming to Object Programming: The System Lap. - Herman Iline; Henry Kanoui (IJCAI, 1987)