Signed Formula Logic Programming: Operational Semantics and Applications (Extended Abstract). - Jacques Calmet; James J. Lu; Maria Rodriguez; Joachim Schü (ISMIS, 1996)