Reasoning with !-graphs. - Alexander Merry (2013)

Reasoning with !-Graphs. - Alexander Merry (CoRR, 2014)