Vol-1864⫷ Vol-1865 ⫸Vol-1866
urn:nbn:de:0074-1865-0


Vol-1865/paper-02⫷Vol-1865/paper-03⫸Vol-1865/paper-04

A Simple Framework for Theta-Subsumption Testing in Prolog