Sign in
Termination prediction for general logic programs.
Yi-Dong Shen
Danny De Schreye
Dean Voets
Published in:
Theory Pract. Log. Program. (2009)
Keyphrases
</>
general logic programs
logic programs
knowledge base