Strategies in Conditional Narrowing Modulo SMT Plus Axioms.

Published in: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems (2023)