Forward and Backward Chaining in Linear Logic (Extended Abstract)
(2000) : Harland, James A. Pym, David J...
DOI: https://doi.org/10.1016/s1571-0661(05)01136-9
#linear_logic #proof_theory #backward_chaining #forward_chaining #my_bibtex