Login / Signup

Detecting Unsolvable Queries for Definite Logic Programs.

Maurice BruynoogheHenk VandecasteeleD. Andre de WaalMarc Denecker
Published in: PLILP/ALP (1998)
Keyphrases