Post
Wicked Jaguar mostly when it results from thinking about forward-chaining logic programs, but yes!
Fuzzy Planarian currently reading the paper, it's nice a intersection of domains I love. I'll keep it handy for people interested in breaking into RW systems