conference paper

Maintaining Consistency for ABT

Silaghi, M.-C.
•
Sam-Haroud, D.
•
Faltings, B.  
2001
Proceedings of CP'2001