Logic programs with abstract constraint atoms: the role of computations
logic programs with abstract constraint atoms
scientific article; zbMATH DE number 5705369
scientific article