Conference Proceedings

Mode checking in HAL

MG De La Banda, PJ Stuckey, W Harvey, K Marriott

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science) | Published : 2000

Citation metrics