Backchain iteration: Towards a practical inference method that is simple enough to be proved terminating, sound, and complete

From MaRDI portal
Publication:1311394