Termination of Simply-Moded Well-Typed Logic Programs under a Tabled Execution Mechanism (2001)

Cached

Download Links

by Sofie Verbaeten , Danny De Schreye
Citations:3 - 0 self