The use of embeddings to provide a clean separation of term and annotation for higher order ripplingLouise Abigail DennisIan Greenet al.2010Journal of Automated Reasoning
