Backward chaining inference as a database stored procedure - the experiments on real-world knowledge bases.

Roman Siminski, Tomasz Xieski

Browse the full INISTA paper archive.