Did you know ... Search Documentation:
GIT commit info
ADDED: New journal paper that describes CLP(B) in great detail.
authorMarkus Triska
Mon Oct 15 18:57:10 2018 +0200
committerJan Wielemaker
Tue Oct 16 08:43:01 2018 +0200
commit92365dbea30dcd4b86b9705e7e97736c1d4fbe7b
tree9cbc5578258f43503e3d77689938884807c7a448
parent0eb7dff97d7d114be56194c1d34171b469d2f548
Diff style: stat patch
 Publications.txt | 4 ++++
 1 file changed, 4 insertions(+)