Semantics of Constraint Logic Programs with Bounded Quantifiers

Martin Argenius, Andrei Voronkov, Roy Dyckhoff (Editor), Heinrich Herre (Editor), Peter Schroeder-Heister (Editor)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Cite this