Parallel Logic Programming for Numeric Applications.

Ralph Butler, Ewing L. Lusk, William McCune, Ross A. Overbeek

Browse the full ICLP paper archive.