Stem mgtp$ (all stems)

2 papers:

ICLP-1997-ShimajiriSI #modelling

Incorporating a Pruning Strategy into the Computation of Stable Models based on MGTP (YS, HS, HI), pp. 376–390.

CADE-1992-HasegawaKF #generative #lazy evaluation #named #parallel #proving #theorem proving

MGTP: A Parallel Theorem Prover Based on Lazy Model Generation (RH, MK, HF), pp. 776–780.