Papers submitted to ISIPTA'13.
Fix typo.
Missing initials.
More references.
Add entry for Feelders and van der Gaag.
add finney