CHR

swMATH20512MaRDI QIDQ32330FDOQ32330

Author name not available (Why is that?)

Cited In (4)

• Runtime addition of integrity constraints in an abductive proof procedure
• Parallelism, concurrency and distribution in constraint handling rules: A survey
• Logic Programming
• Title not available (Why is that?)

This page was built for software: CHR