#### DMCA

## Constructing finite least Kripke models for positive logic programs in serial regular grammar logics

by
Linh Anh Nguyen

Venue: | Logic Journal of the IGPL |

Citations: | 10 - 6 self |