Constructing Finite Least Kripke Models for Positive Logic Programs in Serial Regular Grammar Logics.

Linh Anh Nguyen Constructing Finite Least Kripke Models for Positive Logic Programs in Serial Regular Grammar Logics. 175-193 2008 16 Logic Journal of the IGPL 2 http://dx.doi.org/10.1093/jigpal/jzm059 db/journals/igpl/igpl16.html#Nguyen08