Models for CSP with availability information
Gavin Lowe
Journal
Mathematical Structures in Computer Science
Number
6
Pages
1022–1053
Volume
26
Year
2016
Gavin Lowe