海量图书期刊资源，随时随地畅享阅读乐趣
Knowledge base dynamics, abduction, and database updatesAravindan, Chandrabose; Dung, Phan Minh · Journal of Applied Non-Classical Logics · 1995
Partial deduction of logic programs wrt well-founded semanticsChandrabose Aravindan; Phan Minh Dung · 1994