McCarty. L.T. Clausal intuitionistic logic. I. Fixedpoint semantics. Journal of Logic Programming, 5(1):1-31, 1988.
(1988)
Languages mentioned
LLD
{1989} KR Language for law