TY  - RPRT
AU  - Aguirre Garcia, Luis Manuel
AU  - Martí Oliet, Narciso
AU  - Palomino, Miguel
AU  - Pita Andreu, Isabel
PY  - 2021
UR  - https://hdl.handle.net/20.500.14352/5848
AB  - Narrowing calculus that uses strategies to solve reachability problems in order-sorted rewrite theories whose underlying equational logic is composed of SMT theories plus some combination of associativity, commutativity, and identity. Both the...
LA  - eng
KW  - Narrowing
KW  - Strategies
KW  - Reachability
KW  - Rewriting logic
KW  - SMT
KW  - Unification
TI  - Strategies in Conditional Narrowing Modulo SMT Plus Axioms
T2  - Estrategias en Estrechamiento Condicional Módulo SMT más Axiomas
TY  - technical report
ER  -