TOAST: Applying Answer Set Programming to Superoptimisation - Tom Crick (Springer, 2006)
22nd International Conference on Logic Programming (ICLP 2006)