SYMBOLIC CONSTRAINTS FOR META-LOGIC PROGRAMMING. - Christiansen, Henning; Martinenghi, Davide (Applied Artificial Intelligence, 2000)