Daniel R. Corpron

• Disjunctions in forward chaining logic programming