ASP Chef: Draw and Expand.

Mario Alviano, Luis Angel Rodriguez Reiners

Browse the full KR paper archive.