A Tabling Implementation Based on Variables with Multiple Bindings

  • Pablo Chico de Guzmán, Manuel Carro, Manuel Hermenegildo
  • January 2009, Springer Science + Business Media
  • DOI: 10.1007/978-3-642-02846-5_19

The authors haven't yet claimed this publication.

Read Publication

http://dx.doi.org/10.1007/978-3-642-02846-5_19