Inferring Left-terminating Classes of Queries for Constraint Logic Programs

Frédéric Mesnard. Inferring Left-terminating Classes of Queries for Constraint Logic Programs. In JICSLP. pages 7-21, 1996.

Abstract

Abstract is missing.