Stem isoiniti$ (all stems)
2 papers:
- CL-2000-LauO #logic programming #semantics #source code
- Isoinitial Semantics for Logic Programs (KKL, MO), pp. 223–238.
- ICLP-1999-LauO #logic programming #modelling #source code
- Isoinitial Models for Logic Programs: Some Preliminary Results (KKL, MO), p. 611.