TY  - CPAPER
AU  - Codish, M
AU  - Lagoon, V
AU  - Schachte, P
AU  - Stuckey, PJ
Y2  - 2014/05/21
Y1  - 2006/01/01
SN  - 3-540-33095-X
SN  - 9783540330950
SN  - 0302-9743
UR  - http://hdl.handle.net/11343/29426
LA  - English
PB  - SPRINGER-VERLAG BERLIN
KW  - Computer Software
T1  - Size-change termination analysis in kappa-bits
DO  - 10.1007/11693024_16
IS  - Lecture Notes in Artificial Intelligence
VL  - 3924
SP  - 230-245
L1  - /bitstream/handle/11343/29426/278134_56175.pdf?sequence=1&isAllowed=n
ER  -