Sciweavers

4983 search results - page 15 / 997
» order 2008
Sort
View
TOPLAS
1998
113views more  TOPLAS 1998»
13 years 8 months ago
An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs
Konstantinos F. Sagonas, Terrance Swift