Implementing Declarative Parallel Bottom-Avoiding Choice.

Andr Rauber Du Bois, Robert F. Pointon, Hans-Wolfgang Loidl, Philip W. Trinder

Browse the full SBAC-PAD paper archive.