The material on pathway logic looks interesting, but I haven't found the paper that explains the formalism!