Functional Stable Model Semantics and Answer Set Programming Modulo Theories

Open in new window