Conference Proceedings

Constructive negation for constraint logic programming

PJ Stuckey

Proceedings - Symposium on Logic in Computer Science | Published : 1991

Citation metrics