YAP 7.1.0
Non-backtrackable queues in YAP.
YAP Library

A library to implement queues of NB Terms.

A library to implement queues of NB Terms.