Article,

On logic programs that always succeed.

, and .
Sci. Comput. Program., 48 (2-3): 163-196 (2003)

Meta data

Tags

Users

  • @dblp

Comments and Reviews