About the Multi-Head Linear Restricted Chase Termination.

Lukas Gerlach, Lucas Larroque, Jerzy Marcinkowski, Piotr Ostropolski-Nalewaja

Browse the full KR paper archive.