Genaim, S. and King, Andy
Inferring Non-Suspension Conditions for Logic Programs with Dynamic Scheduling.
Assoc Computing Machinery
(Full text available)
- Depositors only (login required):