Foundations of linear-time logic programming. Orgun, M. A. Int. J. Comput. Math., 58(3-4):199–219, 1995.
Foundations of linear-time logic programming [link]Paper  doi  bibtex   

Downloads: 0