Integrity Constraints for Microcontroller Programming in Datalog.

Stefan Brass, Mario Wenzel

Browse the full ADBIS paper archive.