Logic programming proceedings of the twelfth International Conference on Logic Programming
Year of Publication 1995
Full text
eBook