5 citations · 5 across the 1 of their papers we have counts for
1 paper
P. Johann, E. Komendantskaya, V. Komendantskiy
We introduce a Three Tier Tree Calculus (3TC) that defines in a systematic way three tiers of tree structures underlying proof search in logic programming. We use 3TC to define a n…