An Efficient Proof Method for Non-clausal Reasoning | Publicación