Login / Signup

Online Justification for Tabled Logic Programs.

Giridhar PemmasaniHai-Feng GuoYifei DongC. R. RamakrishnanI. V. Ramakrishnan
Published in: ICLP (2003)
Keyphrases