Forward and Backward Chaining in Linear Logic (0)

by James Harland , David Pym , Michael Winikoff
Citations:5 - 2 self