http://newcastle.rkbexplorer.com/id/publications/proceedings/http://homepages.cs.ncl.ac.uk/victor.khomenko/home.formal/papers/

used by 1: