First-order Lax Logic as a Framework for Constraint Logic Programming (1997)

by Matt Fairtlough , Michael Mendler , Matt Walton
Citations:12 - 4 self