core - Revision 18242: /misc/publications/2013/journals