Multiple Versions of Paper with Different Titles

The paper management system creates a wiki page for each paper title. Thus if you have multiple versions of a paper with different titles, then you need to manually merge them into a single wiki page by using the redirection feature.

For example, suppose that you have two versions of the same paper, namely "Reachability Logic in K" and "All-Path Reachability Logic". Then you will have two separate wiki pages for each titles, as follows:

In order to merge those two pages, first you have to decide which one is a main page. Let say "Reachability Logic in K" is a main page. Then you put all of the paper entries (i.e., <pubbib> entries explained in the Online Paper Database page) in the "Reachability Logic in K" page, and put the redirection command into the "All-Path Reachability Logic" page.