Manual: add a pointer to background reading on inference rule notation
Manual: add a pointer to background reading on inference rule notation

urweb/debian-urweb,urweb/debian-urweb,urweb/debian-urweb,urweb/debian-urweb,urweb/debian-urweb