LPAR 2000 (2000 Réunion)

• Logic for programming and automated reasoning