J89-3002 system , we use efficient Horn clause resolution techniques ( see below ) , so
E99-1035 , Grammar3 and Grammar4 : the clause resolution is based on surface crite - ria
hide detail