1. 13 points by Luc 2 days | discuss
  2. 47 points by mhb 1 day | 3 comments
  3. Proof Theory and Logic Programming (www.lix.polytechnique.fr)
  4. Abstract Wikipedia (abstract.wikipedia.org)