Dataflow for Logic Program as Substitution Manipulator.

Susumu Yamasaki

Browse the full ISSAC paper archive.