TY  - JOUR

T1  - Abstract abstract reduction

JO  - J LOGIC ALGEBR PROGR

PY  - 2006/02/01

AU  - Struth G

ED  - 

DO  - DOI: 10.1016/j.jlap.2005.04.001

VL  - 66

IS  - 2

SP  - 239

EP  - 270

Y2  - 2025/01/03

ER  -