McCarty. L.T. Clausal intuitionistic logic. II. Tableau proof procedures. Journal of Logic Programming, 5(2):93-132, 1988.

Languages mentioned

• LLD {1989} KR Language for law