This book is an annotated bibliography providing an up-to-date overview of past and present work ...

This volume contains the proceedings of the Second International Conference on Rewriting Techniqu...

This volume contains the proceedings of the First International Workshop on Algebraic and Logic P...

No detailed description available for 'Algebraic and Logic Programming'.