Towards Coinductive Theory Exploration in Horn Clause Logic: Position Paper

Open in new window