000098126 001__ 98126
000098126 005__ 20180317093328.0
000098126 037__ $$aCONF
000098126 245__ $$aMaintaining Consistency for ABT
000098126 269__ $$a2001
000098126 260__ $$c2001
000098126 336__ $$aConference Papers
000098126 700__ $$aSilaghi, M.-C.
000098126 700__ $$aSam-Haroud, D.
000098126 700__ $$0240959$$aFaltings, B.$$g105074
000098126 773__ $$tProceedings of CP'2001
000098126 909CO $$ooai:infoscience.tind.io:98126$$pIC$$pconf
000098126 909C0 $$0252184$$pLIA$$xU10406
000098126 937__ $$aLIA-CONF-2001-013
000098126 970__ $$aSilaghi2001d/LIA
000098126 973__ $$aEPFL$$sPUBLISHED
000098126 980__ $$aCONF