DMCA

Contents lists available at ScienceDirect The Journal of Logic and Algebraic Programming

Cached

Download Links

by Aske Brekling , Michael R. Hansen , Jan Madsen