Journal: Computers and Artificial Intelligence

Volume 13, Issue 2&3

107 -- 132Dietmar Seipel. Graph-Based Processing of Logic Programs